A DN/NP-Shell for Subject CPs
نویسندگان
چکیده
منابع مشابه
A Selective CPS Transformation
The CPS transformation makes all functions continuation-passing, uniformly. Not all functions, however, need continuations: they only do if their evaluation includes computational effects. In this paper we focus on control operations, in particular “call with current continuation” and “throw”. We characterize this involvement as a control effect and we present a selective CPS transformation tha...
متن کاملCPS Laboratory-as-a-Service: Enabling Technology for Readily Accessible and Scalable CPS Education
Future generations of cyber-physical systems (CPS) engineers and scientists must be ready to tackle the increasingly complex problems facing society. While it is possible for these students to gain a theory-based CPS education from the growing CPS scientific literature, we believe, however, that theoretical understanding alone is not sufficient particularly when CPS involve complex interactions...
متن کاملCPS Transform for Dependent ML
Dependent ML is a functional programming language that extends ML with a restricted form of dependent types. In this paper, we study a call-by-value continuation-passing style (CPS) transform for ML 0 , a core of DML that excludes effects. In particular, we demonstrate how the type derivation of an expression in ML 0 can be transformed into the type derivation of the CPS transform of the expres...
متن کاملA CPS - Translation of the
We present a translation of Parigot's-calculus 10] into the usual-calculus. This translation, which is based on the so-called continuation passing style, is correct with respect to equality and with respect to evaluation. At the type level, it induces a logical interpretation of classical logic into intuitionistic one, akin to Kolmogorov's negative translation. As a by-product, we get the norma...
متن کاملCPS Environments
Interactive mediation between the information world and the physical world is a key domain for innovation and a major challenge to building Cyber-physical systems. New approaches to how we interact with the worlds of information and cyber-observable reality whether it be global environment observatories, scientific experimentation, visualization, education, tourism, or entertainment require a c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annual Meeting of the Berkeley Linguistics Society
سال: 2014
ISSN: 2377-1666,0363-2946
DOI: 10.3765/bls.v31i1.857